ePMC

Benchmark
Model:pacman v.1 (MDP)
Parameter(s)MAXSTEPS = 100
Property:crash (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files pacman.nm --model-input-type prism --property-input-files pacman.props --property-input-names crash --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const MAXSTEPS=100
Execution
Walltime:> 1800s (Timeout)
Log
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property crash
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 875 875
build-model-states-explored 2146 1271
build-model-states-explored 3470 1324
build-model-states-explored 4785 1315
build-model-states-explored 6213 1428
build-model-states-explored 7563 1350
build-model-states-explored 9025 1462
build-model-states-explored 10543 1518
build-model-states-explored 11914 1371
build-model-states-explored 13281 1367
build-model-states-explored 14628 1347
build-model-states-explored 16042 1414
build-model-states-explored 17646 1604
build-model-states-explored 19242 1596
build-model-states-explored 20735 1493
build-model-states-explored 22108 1373
build-model-states-explored 23482 1374
build-model-states-explored 24856 1374
build-model-states-explored 26230 1374
build-model-states-explored 27560 1330
build-model-states-explored 28937 1377
build-model-states-explored 30309 1372
build-model-states-explored 31681 1372
build-model-states-explored 33052 1371
build-model-states-explored 34633 1581
build-model-states-explored 36220 1587
build-model-states-explored 37827 1607
build-model-states-explored 39372 1545
build-model-states-explored 40926 1554
build-model-states-explored 42298 1372
build-model-states-explored 43668 1370
build-model-states-explored 45042 1374
build-model-states-explored 46416 1374
build-model-states-explored 47788 1372
build-model-states-explored 49153 1365
build-model-states-explored 50519 1366
build-model-states-explored 51887 1368
build-model-states-explored 53257 1370
build-model-states-explored 54533 1276
build-model-states-explored 55903 1370
build-model-states-explored 57275 1372
build-model-states-explored 58643 1368
build-model-states-explored 60014 1371
build-model-states-explored 61383 1369
build-model-states-explored 62754 1371
build-model-states-explored 64218 1464
build-model-states-explored 65820 1602
build-model-states-explored 67428 1608
build-model-states-explored 69017 1589
build-model-states-explored 70621 1604
build-model-states-explored 72226 1605
build-model-states-explored 73812 1586
build-model-states-explored 75412 1600
build-model-states-explored 77019 1607
build-model-states-explored 78565 1546
build-model-states-explored 79932 1367
build-model-states-explored 81305 1373
build-model-states-explored 82674 1369
build-model-states-explored 84049 1375
build-model-states-explored 85423 1374
build-model-states-explored 86795 1372
build-model-states-explored 88167 1372
build-model-states-explored 89540 1373
build-model-states-explored 90913 1373
build-model-states-explored 92283 1370
build-model-states-explored 93651 1368
build-model-states-explored 95010 1359
build-model-states-explored 96385 1375
build-model-states-explored 97759 1374
build-model-states-explored 99130 1371
build-model-states-explored 100502 1372
build-model-states-explored 101874 1372
build-model-states-explored 103246 1372
build-model-states-explored 104617 1371
build-model-states-explored 105990 1373
build-model-states-explored 107336 1346
build-model-states-explored 108520 1184
build-model-states-explored 109897 1377
build-model-states-explored 111274 1377
build-model-states-explored 112646 1372
build-model-states-explored 114017 1371
build-model-states-explored 115389 1372
build-model-states-explored 116765 1376
build-model-states-explored 118139 1374
build-model-states-explored 119514 1375
build-model-states-explored 121045 1531
build-model-states-explored 122656 1611
build-model-states-explored 124266 1610
build-model-states-explored 125874 1608
build-model-states-explored 127469 1595
build-model-states-explored 129047 1578
build-model-states-explored 130660 1613
build-model-states-explored 132254 1594
build-model-states-explored 133854 1600
build-model-states-explored 135452 1598
build-model-states-explored 137055 1603
build-model-states-explored 138668 1613
build-model-states-explored 140269 1601
build-model-states-explored 141870 1601
build-model-states-explored 143479 1609
build-model-states-explored 144981 1502
build-model-states-explored 146353 1372
build-model-states-explored 147723 1370
build-model-states-explored 149058 1335
build-model-states-explored 150428 1370
build-model-states-explored 151773 1345
build-model-states-explored 153147 1374
build-model-states-explored 154519 1372
build-model-states-explored 155892 1373
build-model-states-explored 157265 1373
build-model-states-explored 158638 1373
build-model-states-explored 160012 1374
build-model-states-explored 161385 1373
build-model-states-explored 162747 1362
build-model-states-explored 164120 1373
build-model-states-explored 165489 1369
build-model-states-explored 166860 1371
build-model-states-explored 168235 1375
build-model-states-explored 169610 1375
build-model-states-explored 170985 1375
build-model-states-explored 172357 1372
build-model-states-explored 173730 1373
build-model-states-explored 175103 1373
build-model-states-explored 176475 1372
build-model-states-explored 177847 1372
build-model-states-explored 179218 1371
build-model-states-explored 180590 1372
build-model-states-explored 181962 1372
build-model-states-explored 183336 1374
build-model-states-explored 184708 1372
build-model-states-explored 186081 1373
build-model-states-explored 187455 1374
build-model-states-explored 188827 1372
build-model-states-explored 190200 1373
build-model-states-explored 191571 1371
build-model-states-explored 192933 1362
build-model-states-explored 194281 1348
build-model-states-explored 195654 1373
build-model-states-explored 197025 1371
build-model-states-explored 198397 1372
build-model-states-explored 199771 1374
build-model-states-explored 201140 1369
build-model-states-explored 202511 1371
build-model-states-explored 203886 1375
build-model-states-explored 205260 1374
build-model-states-explored 206635 1375
build-model-states-explored 208010 1375
build-model-states-explored 209383 1373
build-model-states-explored 210757 1374
build-model-states-explored 212129 1372
build-model-states-explored 213568 1439
build-model-states-explored 215102 1534
build-model-states-explored 216643 1541
build-model-states-explored 217784 1141
build-model-states-explored 219396 1612
build-model-states-explored 220999 1603
build-model-states-explored 222600 1601
build-model-states-explored 224212 1612
build-model-states-explored 225793 1581
build-model-states-explored 227389 1596
build-model-states-explored 228997 1608
build-model-states-explored 230604 1607
build-model-states-explored 232200 1596
build-model-states-explored 233807 1607
build-model-states-explored 235408 1601
build-model-states-explored 236973 1565
build-model-states-explored 238569 1596
build-model-states-explored 240174 1605
build-model-states-explored 241774 1600
build-model-states-explored 243370 1596
build-model-states-explored 244969 1599
build-model-states-explored 246568 1599
build-model-states-explored 248164 1596
build-model-states-explored 249770 1606
build-model-states-explored 251375 1605
build-model-states-explored 252966 1591
build-model-states-explored 254336 1370
build-model-states-explored 255704 1368
build-model-states-explored 257077 1373
build-model-states-explored 258448 1371
build-model-states-explored 259816 1368
build-model-states-explored 261186 1370
build-model-states-explored 262537 1351
build-model-states-explored 263940 1403
build-model-states-explored 265431 1491
build-model-states-explored 266914 1483
build-model-states-explored 268398 1484
build-model-states-explored 269888 1490
build-model-states-explored 271376 1488
build-model-states-explored 272859 1483
build-model-states-explored 274346 1487
build-model-states-explored 275830 1484
build-model-states-explored 277314 1484
build-model-states-explored 278798 1484
build-model-states-explored 280280 1482
build-model-states-explored 281732 1452
build-model-states-explored 283214 1482
build-model-states-explored 284701 1487
build-model-states-explored 286189 1488
build-model-states-explored 287677 1488
build-model-states-explored 289161 1484
build-model-states-explored 290646 1485
build-model-states-explored 292135 1489
build-model-states-explored 293619 1484
build-model-states-explored 295107 1488
build-model-states-explored 296593 1486
build-model-states-explored 298080 1487
build-model-states-explored 299565 1485
build-model-states-explored 301049 1484
build-model-states-explored 302537 1488
build-model-states-explored 304021 1484
build-model-states-explored 305498 1477
build-model-states-explored 306986 1488
build-model-states-explored 308474 1488
build-model-states-explored 309966 1492
build-model-states-explored 311452 1486
build-model-states-explored 312930 1478
build-model-states-explored 314413 1483
build-model-states-explored 315898 1485
build-model-states-explored 317385 1487
build-model-states-explored 318873 1488
build-model-states-explored 320359 1486
build-model-states-explored 321846 1487
build-model-states-explored 323333 1487
build-model-states-explored 324824 1491
build-model-states-explored 326297 1473
build-model-states-explored 327784 1487
build-model-states-explored 329268 1484
build-model-states-explored 330751 1483
build-model-states-explored 332239 1488
build-model-states-explored 333724 1485
build-model-states-explored 335187 1463
build-model-states-explored 336676 1489
build-model-states-explored 338160 1484
build-model-states-explored 339647 1487
build-model-states-explored 341133 1486
build-model-states-explored 342613 1480
build-model-states-explored 344101 1488
build-model-states-explored 345591 1490
build-model-states-explored 347076 1485
build-model-states-explored 348560 1484
build-model-states-explored 350054 1494
build-model-states-explored 351542 1488
build-model-states-explored 353026 1484
build-model-states-explored 354510 1484
build-model-states-explored 355994 1484
build-model-states-explored 357480 1486
build-model-states-explored 358968 1488
build-model-states-explored 360496 1528
build-model-states-explored 362241 1745
build-model-states-explored 363998 1757
build-model-states-explored 365748 1750
build-model-states-explored 367501 1753
build-model-states-explored 369263 1762
build-model-states-explored 371012 1749
build-model-states-explored 372723 1711
build-model-states-explored 374397 1674
build-model-states-explored 376148 1751
build-model-states-explored 377898 1750
build-model-states-explored 379632 1734
build-model-states-explored 381369 1737
build-model-states-explored 383052 1683
build-model-states-explored 384802 1750
build-model-states-explored 386550 1748
build-model-states-explored 388301 1751
build-model-states-explored 390047 1746
build-model-states-explored 391795 1748
build-model-states-explored 393494 1699
build-model-states-explored 395236 1742
build-model-states-explored 396978 1742
build-model-states-explored 398671 1693
build-model-states-explored 400423 1752
build-model-states-explored 402172 1749
build-model-states-explored 403924 1752
build-model-states-explored 405661 1737
build-model-states-explored 407404 1743
build-model-states-explored 409163 1759
build-model-states-explored 410305 1142
build-model-states-explored 411714 1409
build-model-states-explored 413463 1749
build-model-states-explored 415229 1766
build-model-states-explored 416990 1761
build-model-states-explored 418747 1757
build-model-states-explored 420496 1749
build-model-states-explored 422038 1542
build-model-states-explored 423529 1491
build-model-states-explored 425023 1494
build-model-states-explored 426512 1489
build-model-states-explored 427998 1486
build-model-states-explored 429483 1485
build-model-states-explored 430969 1486
build-model-states-explored 432462 1493
build-model-states-explored 433954 1492
build-model-states-explored 435443 1489
build-model-states-explored 436936 1493
build-model-states-explored 438424 1488
build-model-states-explored 439912 1488
build-model-states-explored 441401 1489
build-model-states-explored 442892 1491
build-model-states-explored 444385 1493
build-model-states-explored 445875 1490
build-model-states-explored 447364 1489
build-model-states-explored 448855 1491
build-model-states-explored 450346 1491
build-model-states-explored 451834 1488
build-model-states-explored 453321 1487
build-model-states-explored 454818 1497
build-model-states-explored 456310 1492
build-model-states-explored 457805 1495
build-model-states-explored 459291 1486
build-model-states-explored 460781 1490
build-model-states-explored 462265 1484
build-model-states-explored 463755 1490
build-model-states-explored 465256 1501
build-model-states-explored 466749 1493
build-model-states-explored 468225 1476
build-model-states-explored 469709 1484
build-model-states-explored 471195 1486
build-model-states-explored 472693 1498
build-model-states-explored 474185 1492
build-model-states-explored 475677 1492
build-model-states-explored 477166 1489
build-model-states-explored 478655 1489
build-model-states-explored 480143 1488
build-model-states-explored 481632 1489
build-model-states-explored 483125 1493
build-model-states-explored 484615 1490
build-model-states-explored 486103 1488
build-model-states-explored 487597 1494
build-model-states-explored 489089 1492
build-model-states-explored 490591 1502
build-model-states-explored 492092 1501
build-model-states-explored 493594 1502
build-model-states-explored 495095 1501
build-model-states-explored 496597 1502
build-model-states-explored 498094 1497
build-model-states-explored 499587 1493
build-model-states-explored 501083 1496
build-model-states-explored 502574 1491
build-model-states-explored 504066 1492
build-model-states-explored 505558 1492
build-model-states-explored 507049 1491
build-model-states-explored 508535 1486
build-model-states-explored 510029 1494
build-model-states-explored 511524 1495
build-model-states-explored 513012 1488
build-model-states-explored 514506 1494
build-model-states-explored 516000 1494
build-model-states-explored 517498 1498
build-model-states-explored 518991 1493
build-model-states-explored 520483 1492
build-model-states-explored 521972 1489
build-model-states-explored 523466 1494
build-model-states-explored 524907 1441
build-model-states-explored 526396 1489
build-model-states-explored 527882 1486
build-model-states-explored 529368 1486
build-model-states-explored 530859 1491
build-model-states-explored 532352 1493
build-model-states-explored 533845 1493
build-model-states-explored 535330 1485
build-model-states-explored 536823 1493
build-model-states-explored 538315 1492
build-model-states-explored 539809 1494
build-model-states-explored 541301 1492
build-model-states-explored 542794 1493
build-model-states-explored 544288 1494
build-model-states-explored 545780 1492
build-model-states-explored 547273 1493
build-model-states-explored 548764 1491
build-model-states-explored 550252 1488
build-model-states-explored 551743 1491
build-model-states-explored 553236 1493
build-model-states-explored 554725 1489
build-model-states-explored 556219 1494
build-model-states-explored 557682 1463
build-model-states-explored 559176 1494
build-model-states-explored 560670 1494
build-model-states-explored 562155 1485
build-model-states-explored 563649 1494
build-model-states-explored 565139 1490
build-model-states-explored 566633 1494
build-model-states-explored 568125 1492
build-model-states-explored 569615 1490
build-model-states-explored 571102 1487
build-model-states-explored 572597 1495
build-model-states-explored 574092 1495
build-model-states-explored 575578 1486
build-model-states-explored 577072 1494
build-model-states-explored 578750 1678
build-model-states-explored 580500 1750
build-model-states-explored 582253 1753
build-model-states-explored 584001 1748
build-model-states-explored 585751 1750
build-model-states-explored 587507 1756
build-model-states-explored 589258 1751
build-model-states-explored 591012 1754
build-model-states-explored 592758 1746
build-model-states-explored 594518 1760
build-model-states-explored 596279 1761
build-model-states-explored 598027 1748
build-model-states-explored 599790 1763
build-model-states-explored 601541 1751
build-model-states-explored 603284 1743
build-model-states-explored 605024 1740
build-model-states-explored 606723 1699
build-model-states-explored 608400 1677
build-model-states-explored 610146 1746
build-model-states-explored 611902 1756
build-model-states-explored 613666 1764
build-model-states-explored 615422 1756
build-model-states-explored 617182 1760
build-model-states-explored 618943 1761
build-model-states-explored 620711 1768
build-model-states-explored 622463 1752
build-model-states-explored 624220 1757
build-model-states-explored 625978 1758
build-model-states-explored 627739 1761
build-model-states-explored 629502 1763
build-model-states-explored 631246 1744
build-model-states-explored 632997 1751
build-model-states-explored 634761 1764
build-model-states-explored 636525 1764
build-model-states-explored 638275 1750
build-model-states-explored 640035 1760
build-model-states-explored 641798 1763
build-model-states-explored 643545 1747
build-model-states-explored 645304 1759
build-model-states-explored 647066 1762
build-model-states-explored 648826 1760
build-model-states-explored 650585 1759
build-model-states-explored 652331 1746
build-model-states-explored 654089 1758
build-model-states-explored 655846 1757
build-model-states-explored 657608 1762
build-model-states-explored 659343 1735
build-model-states-explored 661110 1767
build-model-states-explored 662849 1739
build-model-states-explored 664339 1490
build-model-states-explored 665837 1498
build-model-states-explored 667332 1495
build-model-states-explored 668830 1498
build-model-states-explored 670327 1497
build-model-states-explored 671824 1497
build-model-states-explored 673323 1499
build-model-states-explored 674818 1495
build-model-states-explored 676312 1494
build-model-states-explored 677811 1499
build-model-states-explored 679307 1496
build-model-states-explored 680771 1464
build-model-states-explored 682270 1499
build-model-states-explored 683768 1498
build-model-states-explored 685262 1494
build-model-states-explored 686758 1496
build-model-states-explored 688250 1492
build-model-states-explored 689746 1496
build-model-states-explored 691244 1498
build-model-states-explored 692741 1497
build-model-states-explored 694238 1497
build-model-states-explored 695732 1494
build-model-states-explored 697222 1490
build-model-states-explored 698716 1494
build-model-states-explored 700207 1491
build-model-states-explored 701690 1483
build-model-states-explored 703172 1482
build-model-states-explored 704617 1445
build-model-states-explored 706041 1424
build-model-states-explored 707527 1486
build-model-states-explored 709013 1486
build-model-states-explored 710499 1486
build-model-states-explored 711993 1494
build-model-states-explored 713486 1493
build-model-states-explored 714974 1488
build-model-states-explored 716468 1494
build-model-states-explored 717955 1487
build-model-states-explored 719449 1494
build-model-states-explored 720944 1495
build-model-states-explored 722441 1497
build-model-states-explored 723939 1498
build-model-states-explored 725428 1489
build-model-states-explored 726917 1489
build-model-states-explored 728406 1489
build-model-states-explored 729892 1486
build-model-states-explored 731370 1478
build-model-states-explored 732860 1490
build-model-states-explored 734355 1495
build-model-states-explored 735844 1489
build-model-states-explored 737332 1488
build-model-states-explored 738819 1487
build-model-states-explored 740314 1495
build-model-states-explored 741804 1490
build-model-states-explored 743292 1488
build-model-states-explored 744786 1494
build-model-states-explored 746278 1492
build-model-states-explored 747765 1487
build-model-states-explored 749221 1456
build-model-states-explored 750655 1434
build-model-states-explored 752161 1506
build-model-states-explored 753663 1502
build-model-states-explored 755166 1503
build-model-states-explored 756667 1501
build-model-states-explored 758167 1500
build-model-states-explored 759654 1487
build-model-states-explored 761145 1491
build-model-states-explored 762632 1487
build-model-states-explored 764115 1483
build-model-states-explored 765604 1489
build-model-states-explored 766953 1349
build-model-states-explored 768423 1470
build-model-states-explored 769915 1492
build-model-states-explored 771398 1483
build-model-states-explored 772888 1490
build-model-states-explored 774381 1493
build-model-states-explored 775869 1488
build-model-states-explored 777362 1493
build-model-states-explored 778851 1489
build-model-states-explored 780338 1487
build-model-states-explored 781826 1488
build-model-states-explored 783310 1484
build-model-states-explored 784801 1491
build-model-states-explored 786272 1471
build-model-states-explored 787753 1481
build-model-states-explored 789238 1485
build-model-states-explored 790721 1483
build-model-states-explored 792208 1487
build-model-states-explored 793665 1457
build-model-states-explored 795154 1489
build-model-states-explored 796646 1492
build-model-states-explored 798136 1490
build-model-states-explored 799624 1488
build-model-states-explored 801109 1485
build-model-states-explored 802595 1486
build-model-states-explored 804080 1485
build-model-states-explored 805561 1481
build-model-states-explored 807051 1490
build-model-states-explored 808538 1487
build-model-states-explored 810029 1491
build-model-states-explored 811520 1491
build-model-states-explored 813007 1487
build-model-states-explored 814498 1491
build-model-states-explored 815985 1487
build-model-states-explored 817477 1492
build-model-states-explored 818962 1485
build-model-states-explored 820450 1488
build-model-states-explored 821944 1494
build-model-states-explored 823436 1492
build-model-states-explored 824925 1489
build-model-states-explored 826413 1488
build-model-states-explored 827902 1489
build-model-states-explored 829389 1487
build-model-states-explored 830880 1491
build-model-states-explored 832367 1487
build-model-states-explored 833859 1492
build-model-states-explored 835346 1487
build-model-states-explored 836833 1487
build-model-states-explored 838289 1456
build-model-states-explored 839776 1487
build-model-states-explored 841259 1483
build-model-states-explored 842748 1489
build-model-states-explored 844236 1488
build-model-states-explored 845725 1489
build-model-states-explored 847218 1493
build-model-states-explored 848704 1486
build-model-states-explored 850196 1492
build-model-states-explored 851687 1491
build-model-states-explored 853172 1485
build-model-states-explored 854665 1493
build-model-states-explored 856156 1491
build-model-states-explored 856587 431
build-model-states-explored 857515 928
build-model-states-explored 859002 1487
build-model-states-explored 860487 1485
build-model-states-explored 861972 1485
build-model-states-explored 863455 1483
build-model-states-explored 864938 1483
build-model-states-explored 866423 1485
build-model-states-explored 867912 1489
build-model-states-explored 869404 1492
build-model-states-explored 870890 1486
build-model-states-explored 872380 1490
build-model-states-explored 873874 1494
build-model-states-explored 875364 1490
build-model-states-explored 876848 1484
build-model-states-explored 878338 1490
build-model-states-explored 880052 1714
build-model-states-explored 881738 1686
build-model-states-explored 883424 1686
build-model-states-explored 885177 1753
build-model-states-explored 886923 1746
build-model-states-explored 888672 1749
build-model-states-explored 890415 1743
build-model-states-explored 892172 1757
build-model-states-explored 893930 1758
build-model-states-explored 895675 1745
build-model-states-explored 897425 1750
build-model-states-explored 899173 1748
build-model-states-explored 900924 1751
build-model-states-explored 902680 1756
build-model-states-explored 904434 1754
build-model-states-explored 906178 1744
build-model-states-explored 907931 1753
build-model-states-explored 909682 1751
build-model-states-explored 911425 1743
build-model-states-explored 913167 1742
build-model-states-explored 914915 1748
build-model-states-explored 916667 1752
build-model-states-explored 918404 1737
build-model-states-explored 920109 1705
build-model-states-explored 921850 1741
build-model-states-explored 923590 1740
build-model-states-explored 925411 1821
build-model-states-explored 927225 1814
build-model-states-explored 929048 1823
build-model-states-explored 930848 1800
build-model-states-explored 932676 1828
build-model-states-explored 934504 1828
build-model-states-explored 936327 1823
build-model-states-explored 938147 1820
build-model-states-explored 939970 1823
build-model-states-explored 941791 1821
build-model-states-explored 943610 1819
build-model-states-explored 945416 1806
build-model-states-explored 947231 1815
build-model-states-explored 949037 1806
build-model-states-explored 950862 1825
build-model-states-explored 952675 1813
build-model-states-explored 954475 1800
build-model-states-explored 956265 1790
build-model-states-explored 958066 1801
build-model-states-explored 959880 1814
build-model-states-explored 961696 1816
build-model-states-explored 963517 1821
build-model-states-explored 965330 1813
build-model-states-explored 967149 1819
build-model-states-explored 968966 1817
build-model-states-explored 970752 1786
build-model-states-explored 972565 1813
build-model-states-explored 974375 1810
build-model-states-explored 976192 1817
build-model-states-explored 978017 1825
build-model-states-explored 979837 1820
build-model-states-explored 981642 1805
build-model-states-explored 983467 1825
build-model-states-explored 985280 1813
build-model-states-explored 987107 1827
build-model-states-explored 988898 1791
build-model-states-explored 990730 1832
build-model-states-explored 992544 1814
build-model-states-explored 994358 1814
build-model-states-explored 995970 1612
build-model-states-explored 997483 1513
build-model-states-explored 999003 1520
build-model-states-explored 1000540 1537
build-model-states-explored 1002080 1540
build-model-states-explored 1003606 1526
build-model-states-explored 1005139 1533
build-model-states-explored 1006661 1522
build-model-states-explored 1008196 1535
build-model-states-explored 1009735 1539
build-model-states-explored 1011263 1528
build-model-states-explored 1012791 1528
build-model-states-explored 1014326 1535
build-model-states-explored 1015862 1536
build-model-states-explored 1017396 1534
build-model-states-explored 1018926 1530
build-model-states-explored 1020459 1533
build-model-states-explored 1022000 1541
build-model-states-explored 1023536 1536
build-model-states-explored 1025074 1538
build-model-states-explored 1026610 1536
build-model-states-explored 1028145 1535
build-model-states-explored 1029679 1534
build-model-states-explored 1031217 1538
build-model-states-explored 1032756 1539
build-model-states-explored 1034289 1533
build-model-states-explored 1035816 1527
build-model-states-explored 1037349 1533
build-model-states-explored 1038885 1536
build-model-states-explored 1040419 1534
build-model-states-explored 1041952 1533
build-model-states-explored 1043490 1538
build-model-states-explored 1045022 1532
build-model-states-explored 1046558 1536
build-model-states-explored 1048088 1530
build-model-states-explored 1049519 1431
build-model-states-explored 1051047 1528
build-model-states-explored 1052580 1533
build-model-states-explored 1054121 1541
build-model-states-explored 1055654 1533
build-model-states-explored 1057190 1536
build-model-states-explored 1058727 1537
build-model-states-explored 1060261 1534
build-model-states-explored 1061792 1531
build-model-states-explored 1063324 1532
build-model-states-explored 1064854 1530
build-model-states-explored 1066395 1541
build-model-states-explored 1067925 1530
build-model-states-explored 1069462 1537
build-model-states-explored 1070985 1523
build-model-states-explored 1072520 1535
build-model-states-explored 1074052 1532
build-model-states-explored 1075587 1535
build-model-states-explored 1077123 1536
build-model-states-explored 1078656 1533
build-model-states-explored 1080194 1538
build-model-states-explored 1081698 1504
build-model-states-explored 1083231 1533
build-model-states-explored 1084770 1539
build-model-states-explored 1086311 1541
build-model-states-explored 1087845 1534
build-model-states-explored 1089379 1534
build-model-states-explored 1090915 1536
build-model-states-explored 1092454 1539
build-model-states-explored 1093986 1532
build-model-states-explored 1095520 1534
build-model-states-explored 1097056 1536
build-model-states-explored 1098592 1536
build-model-states-explored 1100126 1534
build-model-states-explored 1101660 1534
build-model-states-explored 1103192 1532
build-model-states-explored 1104730 1538
build-model-states-explored 1106268 1538
build-model-states-explored 1107806 1538
build-model-states-explored 1109339 1533
build-model-states-explored 1110871 1532
build-model-states-explored 1112404 1533
build-model-states-explored 1113935 1531
build-model-states-explored 1115472 1537
build-model-states-explored 1117006 1534
build-model-states-explored 1118547 1541
build-model-states-explored 1120083 1536
build-model-states-explored 1121619 1536
build-model-states-explored 1123158 1539
build-model-states-explored 1124688 1530
build-model-states-explored 1126220 1532
build-model-states-explored 1127753 1533
build-model-states-explored 1129283 1530
build-model-states-explored 1130815 1532
build-model-states-explored 1132354 1539
build-model-states-explored 1133881 1527
build-model-states-explored 1135410 1529
build-model-states-explored 1136941 1531
build-model-states-explored 1138472 1531
build-model-states-explored 1140001 1529
build-model-states-explored 1141534 1533
build-model-states-explored 1143064 1530
build-model-states-explored 1144602 1538
build-model-states-explored 1146104 1502
build-model-states-explored 1147634 1530
build-model-states-explored 1149170 1536
build-model-states-explored 1150706 1536
build-model-states-explored 1152244 1538
build-model-states-explored 1153777 1533
build-model-states-explored 1155315 1538
build-model-states-explored 1156846 1531
build-model-states-explored 1158379 1533
build-model-states-explored 1159909 1530
build-model-states-explored 1161446 1537
build-model-states-explored 1162979 1533
build-model-states-explored 1164511 1532
build-model-states-explored 1166018 1507
build-model-states-explored 1167558 1540
build-model-states-explored 1169093 1535
build-model-states-explored 1170629 1536
build-model-states-explored 1172162 1533
build-model-states-explored 1173687 1525
build-model-states-explored 1175223 1536
build-model-states-explored 1176754 1531
build-model-states-explored 1178285 1531
build-model-states-explored 1179823 1538
build-model-states-explored 1181358 1535
build-model-states-explored 1182892 1534
build-model-states-explored 1184423 1531
build-model-states-explored 1185951 1528
build-model-states-explored 1187488 1537
build-model-states-explored 1189015 1527
build-model-states-explored 1190551 1536
build-model-states-explored 1192086 1535
build-model-states-explored 1193621 1535
build-model-states-explored 1195150 1529
build-model-states-explored 1196683 1533
build-model-states-explored 1198214 1531
build-model-states-explored 1199745 1531
build-model-states-explored 1201277 1532
build-model-states-explored 1202807 1530
build-model-states-explored 1204339 1532
build-model-states-explored 1205874 1535
build-model-states-explored 1207413 1539
build-model-states-explored 1208946 1533
build-model-states-explored 1210481 1535
build-model-states-explored 1212017 1536
build-model-states-explored 1213553 1536
build-model-states-explored 1215089 1536
build-model-states-explored 1216621 1532
build-model-states-explored 1218155 1534
build-model-states-explored 1219674 1519
build-model-states-explored 1221209 1535
build-model-states-explored 1222744 1535
build-model-states-explored 1224279 1535
build-model-states-explored 1225815 1536
build-model-states-explored 1227333 1518
build-model-states-explored 1228850 1517
build-model-states-explored 1230383 1533
build-model-states-explored 1231914 1531
build-model-states-explored 1233450 1536
build-model-states-explored 1234984 1534
build-model-states-explored 1236519 1535
build-model-states-explored 1238051 1532
build-model-states-explored 1239582 1531
build-model-states-explored 1241118 1536
build-model-states-explored 1242658 1540
build-model-states-explored 1244195 1537
build-model-states-explored 1245732 1537
build-model-states-explored 1247273 1541
build-model-states-explored 1248809 1536
build-model-states-explored 1250340 1531
build-model-states-explored 1251877 1537
build-model-states-explored 1253407 1530
build-model-states-explored 1254938 1531
build-model-states-explored 1256472 1534
build-model-states-explored 1258007 1535
build-model-states-explored 1259538 1531
build-model-states-explored 1261078 1540
build-model-states-explored 1262617 1539
build-model-states-explored 1264153 1536
build-model-states-explored 1265644 1491
build-model-states-explored 1267106 1462
build-model-states-explored 1268577 1471
build-model-states-explored 1270042 1465
build-model-states-explored 1271552 1510
build-model-states-explored 1273088 1536
build-model-states-explored 1274615 1527
build-model-states-explored 1276152 1537
build-model-states-explored 1277685 1533
build-model-states-explored 1279222 1537
build-model-states-explored 1280756 1534
build-model-states-explored 1282290 1534
build-model-states-explored 1284090 1800
build-model-states-explored 1285888 1798
build-model-states-explored 1287685 1797
build-model-states-explored 1289504 1819
build-model-states-explored 1291327 1823
build-model-states-explored 1293142 1815
build-model-states-explored 1294959 1817
build-model-states-explored 1296781 1822
build-model-states-explored 1298595 1814
build-model-states-explored 1300411 1816
build-model-states-explored 1302242 1831
build-model-states-explored 1304062 1820
build-model-states-explored 1305884 1822
build-model-states-explored 1307696 1812
build-model-states-explored 1309512 1816
build-model-states-explored 1311330 1818
build-model-states-explored 1313143 1813
build-model-states-explored 1314965 1822
build-model-states-explored 1316752 1787
build-model-states-explored 1318570 1818
build-model-states-explored 1320386 1816
build-model-states-explored 1322207 1821
build-model-states-explored 1324027 1820
build-model-states-explored 1325847 1820
build-model-states-explored 1327661 1814
build-model-states-explored 1329472 1811
build-model-states-explored 1331285 1813
build-model-states-explored 1333045 1760
build-model-states-explored 1334872 1827
build-model-states-explored 1336690 1818
build-model-states-explored 1338476 1786
build-model-states-explored 1340260 1784
build-model-states-explored 1342042 1782
build-model-states-explored 1343873 1831
build-model-states-explored 1345689 1816
build-model-states-explored 1347492 1803
build-model-states-explored 1349309 1817
build-model-states-explored 1351124 1815
build-model-states-explored 1352933 1809
build-model-states-explored 1354745 1812
build-model-states-explored 1356562 1817
build-model-states-explored 1358384 1822
build-model-states-explored 1360199 1815
build-model-states-explored 1362012 1813
build-model-states-explored 1363827 1815
build-model-states-explored 1365652 1825
build-model-states-explored 1367470 1818
build-model-states-explored 1369277 1807
build-model-states-explored 1371081 1804
build-model-states-explored 1372898 1817
build-model-states-explored 1374720 1822
build-model-states-explored 1376531 1811
build-model-states-explored 1378341 1810
build-model-states-explored 1380151 1810
build-model-states-explored 1381967 1816
build-model-states-explored 1383778 1811
build-model-states-explored 1385598 1820
build-model-states-explored 1387402 1804
build-model-states-explored 1389221 1819
build-model-states-explored 1391021 1800
build-model-states-explored 1392831 1810
build-model-states-explored 1394646 1815
build-model-states-explored 1396380 1734
build-model-states-explored 1398164 1784
build-model-states-explored 1399970 1806
build-model-states-explored 1401774 1804
build-model-states-explored 1403589 1815
build-model-states-explored 1405415 1826
build-model-states-explored 1407209 1794
build-model-states-explored 1409020 1811
build-model-states-explored 1410829 1809
build-model-states-explored 1412642 1813
build-model-states-explored 1414466 1824
build-model-states-explored 1416289 1823
build-model-states-explored 1418104 1815
build-model-states-explored 1419905 1801
build-model-states-explored 1421716 1811
build-model-states-explored 1423527 1811
build-model-states-explored 1425287 1760
build-model-states-explored 1427107 1820
build-model-states-explored 1428928 1821
build-model-states-explored 1430752 1824
build-model-states-explored 1432563 1811
build-model-states-explored 1434383 1820
build-model-states-explored 1436032 1649
build-model-states-explored 1437567 1535
build-model-states-explored 1439104 1537
build-model-states-explored 1440643 1539
build-model-states-explored 1442172 1529
build-model-states-explored 1443708 1536
build-model-states-explored 1445231 1523
build-model-states-explored 1446759 1528
build-model-states-explored 1448291 1532
build-model-states-explored 1449825 1534
build-model-states-explored 1451364 1539
build-model-states-explored 1452897 1533
build-model-states-explored 1454432 1535
build-model-states-explored 1455962 1530
build-model-states-explored 1457490 1528
build-model-states-explored 1459022 1532
build-model-states-explored 1460557 1535
build-model-states-explored 1462096 1539
build-model-states-explored 1463627 1531
build-model-states-explored 1465162 1535
build-model-states-explored 1466695 1533
build-model-states-explored 1468232 1537
build-model-states-explored 1469765 1533
build-model-states-explored 1471292 1527
build-model-states-explored 1472807 1515
build-model-states-explored 1474335 1528
build-model-states-explored 1475869 1534
build-model-states-explored 1477401 1532
build-model-states-explored 1478939 1538
build-model-states-explored 1480457 1518
build-model-states-explored 1481986 1529
build-model-states-explored 1483520 1534
build-model-states-explored 1485058 1538
build-model-states-explored 1486591 1533
build-model-states-explored 1488123 1532
build-model-states-explored 1489656 1533
build-model-states-explored 1491192 1536
build-model-states-explored 1492725 1533
build-model-states-explored 1494258 1533
build-model-states-explored 1495752 1494
build-model-states-explored 1497289 1537
build-model-states-explored 1498822 1533
build-model-states-explored 1500355 1533
build-model-states-explored 1501889 1534
build-model-states-explored 1503423 1534
build-model-states-explored 1504957 1534
build-model-states-explored 1506478 1521
build-model-states-explored 1508008 1530
build-model-states-explored 1509543 1535
build-model-states-explored 1511081 1538
build-model-states-explored 1512611 1530
build-model-states-explored 1514144 1533
build-model-states-explored 1515678 1534
build-model-states-explored 1517207 1529
build-model-states-explored 1518690 1483
build-model-states-explored 1520144 1454
build-model-states-explored 1521506 1362
build-model-states-explored 1523036 1530
build-model-states-explored 1524569 1533
build-model-states-explored 1526098 1529
build-model-states-explored 1527631 1533
build-model-states-explored 1529158 1527
build-model-states-explored 1530695 1537
build-model-states-explored 1532190 1495
build-model-states-explored 1533722 1532
build-model-states-explored 1535255 1533
build-model-states-explored 1536763 1508
build-model-states-explored 1538297 1534
build-model-states-explored 1539826 1529
build-model-states-explored 1541346 1520
build-model-states-explored 1542867 1521
build-model-states-explored 1544403 1536
build-model-states-explored 1545933 1530
build-model-states-explored 1547460 1527
build-model-states-explored 1548995 1535
build-model-states-explored 1550528 1533
build-model-states-explored 1552066 1538
build-model-states-explored 1553592 1526
build-model-states-explored 1555122 1530
build-model-states-explored 1556653 1531
build-model-states-explored 1558188 1535
build-model-states-explored 1559719 1531
build-model-states-explored 1561246 1527
build-model-states-explored 1562775 1529
build-model-states-explored 1564299 1524
build-model-states-explored 1565832 1533
build-model-states-explored 1567356 1524
build-model-states-explored 1568888 1532
build-model-states-explored 1570425 1537
build-model-states-explored 1571948 1523
build-model-states-explored 1573482 1534
build-model-states-explored 1575014 1532
build-model-states-explored 1576547 1533
build-model-states-explored 1578082 1535
build-model-states-explored 1579581 1499
build-model-states-explored 1581102 1521
build-model-states-explored 1582628 1526
build-model-states-explored 1584151 1523
build-model-states-explored 1585674 1523
build-model-states-explored 1587195 1521
build-model-states-explored 1588715 1520
build-model-states-explored 1590235 1520
build-model-states-explored 1591757 1522
build-model-states-explored 1593283 1526
build-model-states-explored 1594789 1506
build-model-states-explored 1596311 1522
build-model-states-explored 1597831 1520
build-model-states-explored 1599352 1521
build-model-states-explored 1600874 1522
build-model-states-explored 1602400 1526
build-model-states-explored 1603919 1519
build-model-states-explored 1605435 1516
build-model-states-explored 1606959 1524
build-model-states-explored 1608483 1524
build-model-states-explored 1609959 1476
build-model-states-explored 1611412 1453
build-model-states-explored 1612875 1463
build-model-states-explored 1614398 1523
build-model-states-explored 1615928 1530
build-model-states-explored 1617457 1529
build-model-states-explored 1618983 1526
build-model-states-explored 1620515 1532
build-model-states-explored 1622039 1524
build-model-states-explored 1623563 1524
build-model-states-explored 1625090 1527
build-model-states-explored 1626614 1524
build-model-states-explored 1628138 1524
build-model-states-explored 1629661 1523
build-model-states-explored 1631186 1525
build-model-states-explored 1632710 1524
build-model-states-explored 1634230 1520
build-model-states-explored 1635741 1511
build-model-states-explored 1637263 1522
build-model-states-explored 1638785 1522
build-model-states-explored 1640302 1517
build-model-states-explored 1641830 1528
build-model-states-explored 1643359 1529
build-model-states-explored 1644887 1528
build-model-states-explored 1646406 1519
build-model-states-explored 1647931 1525
build-model-states-explored 1649457 1526
build-model-states-explored 1650981 1524
build-model-states-explored 1652504 1523
build-model-states-explored 1654032 1528
build-model-states-explored 1655506 1474
build-model-states-explored 1656957 1451
build-model-states-explored 1658418 1461
build-model-states-explored 1659874 1456
build-model-states-explored 1661380 1506
build-model-states-explored 1662903 1523
build-model-states-explored 1664431 1528
build-model-states-explored 1665954 1523
build-model-states-explored 1667478 1524
build-model-states-explored 1669005 1527
build-model-states-explored 1670530 1525
build-model-states-explored 1672058 1528
build-model-states-explored 1673585 1527
build-model-states-explored 1675114 1529
build-model-states-explored 1676639 1525
build-model-states-explored 1678161 1522
build-model-states-explored 1679686 1525
build-model-states-explored 1681211 1525
build-model-states-explored 1682737 1526
build-model-states-explored 1684264 1527
build-model-states-explored 1685792 1528
build-model-states-explored 1687322 1530
build-model-states-explored 1688844 1522
build-model-states-explored 1690368 1524
build-model-states-explored 1691896 1528
build-model-states-explored 1692292 396
build-model-states-explored 1692292 0
build-model-states-explored 1693159 867
build-model-states-explored 1694682 1523
build-model-states-explored 1696205 1523
build-model-states-explored 1697676 1471
build-model-states-explored 1699130 1454
build-model-states-explored 1700597 1467
build-model-states-explored 1702124 1527
build-model-states-explored 1703651 1527
build-model-states-explored 1705177 1526
build-model-states-explored 1706703 1526
build-model-states-explored 1708225 1522
build-model-states-explored 1709745 1520
build-model-states-explored 1711266 1521
build-model-states-explored 1712787 1521
build-model-states-explored 1714311 1524
build-model-states-explored 1715816 1505
build-model-states-explored 1717333 1517
build-model-states-explored 1718853 1520
build-model-states-explored 1720385 1532
build-model-states-explored 1721909 1524
build-model-states-explored 1723436 1527
build-model-states-explored 1724932 1496
build-model-states-explored 1726454 1522
build-model-states-explored 1727978 1524
build-model-states-explored 1729498 1520
build-model-states-explored 1731018 1520
build-model-states-explored 1732542 1524
build-model-states-explored 1734061 1519
build-model-states-explored 1735588 1527
build-model-states-explored 1737113 1525
build-model-states-explored 1738637 1524
build-model-states-explored 1740160 1523
build-model-states-explored 1741682 1522
build-model-states-explored 1743202 1520
build-model-states-explored 1744722 1520
build-model-states-explored 1746247 1525
build-model-states-explored 1747772 1525
build-model-states-explored 1749301 1529
build-model-states-explored 1750820 1519
build-model-states-explored 1752342 1522
build-model-states-explored 1753858 1516
build-model-states-explored 1755382 1524
build-model-states-explored 1756913 1531
build-model-states-explored 1758432 1519
build-model-states-explored 1759962 1530
build-model-states-explored 1761490 1528
build-model-states-explored 1763011 1521
build-model-states-explored 1764534 1523
build-model-states-explored 1766060 1526
build-model-states-explored 1767584 1524
build-model-states-explored 1769109 1525
build-model-states-explored 1770629 1520
build-model-states-explored 1772154 1525
build-model-states-explored 1773682 1528
build-model-states-explored 1775203 1521
build-model-states-explored 1776720 1517
build-model-states-explored 1778248 1528
build-model-states-explored 1779777 1529
build-model-states-explored 1781304 1527
build-model-states-explored 1782818 1514
build-model-states-explored 1784343 1525
build-model-states-explored 1785869 1526
build-model-states-explored 1787395 1526
build-model-states-explored 1788923 1528
build-model-states-explored 1790448 1525
build-model-states-explored 1791969 1521
build-model-states-explored 1793497 1528
build-model-states-explored 1795025 1528
build-model-states-explored 1796553 1528
build-model-states-explored 1798072 1519
build-model-states-explored 1799595 1523
build-model-states-explored 1801304 1709
build-model-states-explored 1803083 1779
build-model-states-explored 1804870 1787
build-model-states-explored 1806648 1778
build-model-states-explored 1808424 1776
build-model-states-explored 1810221 1797
build-model-states-explored 1812020 1799
build-model-states-explored 1813819 1799
build-model-states-explored 1815615 1796
build-model-states-explored 1817419 1804
build-model-states-explored 1819215 1796
build-model-states-explored 1821005 1790
build-model-states-explored 1822796 1791
build-model-states-explored 1824589 1793
build-model-states-explored 1826382 1793
build-model-states-explored 1828180 1798
build-model-states-explored 1829978 1798
build-model-states-explored 1831776 1798
build-model-states-explored 1833583 1807
build-model-states-explored 1835384 1801
build-model-states-explored 1837187 1803
build-model-states-explored 1838995 1808
build-model-states-explored 1840790 1795
build-model-states-explored 1842591 1801
build-model-states-explored 1844391 1800
build-model-states-explored 1846197 1806
build-model-states-explored 1847992 1795
build-model-states-explored 1849791 1799
build-model-states-explored 1851589 1798
build-model-states-explored 1853395 1806
build-model-states-explored 1855191 1796
build-model-states-explored 1856986 1795
build-model-states-explored 1858781 1795
build-model-states-explored 1860581 1800
build-model-states-explored 1862379 1798
build-model-states-explored 1864177 1798
build-model-states-explored 1865971 1794
build-model-states-explored 1867775 1804
build-model-states-explored 1869573 1798
build-model-states-explored 1871366 1793
build-model-states-explored 1873165 1799
build-model-states-explored 1874956 1791
build-model-states-explored 1876758 1802
build-model-states-explored 1878541 1783
build-model-states-explored 1880304 1763
build-model-states-explored 1882081 1777
build-model-states-explored 1883884 1803
build-model-states-explored 1885692 1808
build-model-states-explored 1887498 1806
build-model-states-explored 1889276 1778
build-model-states-explored 1891069 1793
build-model-states-explored 1892865 1796
build-model-states-explored 1894668 1803
build-model-states-explored 1896467 1799
build-model-states-explored 1898264 1797
build-model-states-explored 1900071 1807
build-model-states-explored 1901866 1795
build-model-states-explored 1903670 1804
build-model-states-explored 1905470 1800
build-model-states-explored 1907270 1800
build-model-states-explored 1909068 1798
build-model-states-explored 1910857 1789
build-model-states-explored 1912665 1808
build-model-states-explored 1914465 1800
build-model-states-explored 1916265 1800
build-model-states-explored 1918065 1800
build-model-states-explored 1919859 1794
build-model-states-explored 1921662 1803
build-model-states-explored 1923463 1801
build-model-states-explored 1925270 1807
build-model-states-explored 1927066 1796
build-model-states-explored 1928868 1802
build-model-states-explored 1930664 1796
build-model-states-explored 1932464 1800
build-model-states-explored 1934265 1801
build-model-states-explored 1936057 1792
build-model-states-explored 1937855 1798
build-model-states-explored 1939665 1810
build-model-states-explored 1941458 1793
build-model-states-explored 1943261 1803
build-model-states-explored 1945038 1777
build-model-states-explored 1946829 1791
build-model-states-explored 1948622 1793
build-model-states-explored 1950404 1782
build-model-states-explored 1952202 1798
build-model-states-explored 1953991 1789
build-model-states-explored 1955790 1799
build-model-states-explored 1957589 1799
build-model-states-explored 1959377 1788
build-model-states-explored 1961173 1796
build-model-states-explored 1962983 1810
build-model-states-explored 1964772 1789
build-model-states-explored 1966574 1802
build-model-states-explored 1968382 1808
build-model-states-explored 1970179 1797
build-model-states-explored 1971984 1805
build-model-states-explored 1973787 1803
build-model-states-explored 1975594 1807
build-model-states-explored 1977396 1802
build-model-states-explored 1979194 1798
build-model-states-explored 1980990 1796
build-model-states-explored 1982785 1795
build-model-states-explored 1984585 1800
build-model-states-explored 1986386 1801
build-model-states-explored 1988193 1807
build-model-states-explored 1989997 1804
build-model-states-explored 1991803 1806
build-model-states-explored 1993428 1625
build-model-states-explored 1994952 1524
build-model-states-explored 1996472 1520
build-model-states-explored 1998000 1528
build-model-states-explored 1999526 1526
build-model-states-explored 2001008 1482
build-model-states-explored 2002534 1526
build-model-states-explored 2004059 1525
build-model-states-explored 2005582 1523
build-model-states-explored 2007095 1513
build-model-states-explored 2008620 1525
build-model-states-explored 2010145 1525
build-model-states-explored 2011672 1527
build-model-states-explored 2013198 1526
build-model-states-explored 2014712 1514
build-model-states-explored 2016234 1522
build-model-states-explored 2017756 1522
build-model-states-explored 2019277 1521
build-model-states-explored 2020801 1524
build-model-states-explored 2022323 1522
build-model-states-explored 2023843 1520
build-model-states-explored 2025367 1524
build-model-states-explored 2026896 1529
build-model-states-explored 2028419 1523
build-model-states-explored 2029941 1522
build-model-states-explored 2031467 1526
build-model-states-explored 2032984 1517
build-model-states-explored 2034511 1527
build-model-states-explored 2036030 1519
build-model-states-explored 2037557 1527
build-model-states-explored 2039088 1531
build-model-states-explored 2040613 1525
build-model-states-explored 2042139 1526
build-model-states-explored 2043665 1526
build-model-states-explored 2045190 1525
build-model-states-explored 2046704 1514
build-model-states-explored 2048223 1519
build-model-states-explored 2049749 1526
build-model-states-explored 2051270 1521
build-model-states-explored 2052798 1528
build-model-states-explored 2054309 1511
build-model-states-explored 2055832 1523
build-model-states-explored 2057356 1524
build-model-states-explored 2058881 1525
build-model-states-explored 2060406 1525
build-model-states-explored 2061928 1522
build-model-states-explored 2063457 1529
build-model-states-explored 2064978 1521
build-model-states-explored 2066503 1525
build-model-states-explored 2068026 1523
build-model-states-explored 2069556 1530
build-model-states-explored 2071080 1524
build-model-states-explored 2072604 1524
build-model-states-explored 2074127 1523
build-model-states-explored 2075649 1522
build-model-states-explored 2077170 1521
build-model-states-explored 2078693 1523
build-model-states-explored 2080214 1521
build-model-states-explored 2081737 1523
build-model-states-explored 2083261 1524
build-model-states-explored 2084784 1523
build-model-states-explored 2086310 1526
build-model-states-explored 2087836 1526
build-model-states-explored 2089358 1522
build-model-states-explored 2090884 1526
build-model-states-explored 2092370 1486
build-model-states-explored 2093898 1528
build-model-states-explored 2095423 1525
build-model-states-explored 2096946 1523
build-model-states-explored 2098275 1329
build-model-states-explored 2099794 1519
build-model-states-explored 2101319 1525
build-model-states-explored 2102844 1525
build-model-states-explored 2104327 1483
build-model-states-explored 2105854 1527
build-model-states-explored 2107377 1523
build-model-states-explored 2108896 1519
build-model-states-explored 2110405 1509
build-model-states-explored 2111905 1500
build-model-states-explored 2113433 1528
build-model-states-explored 2114960 1527
build-model-states-explored 2116485 1525
build-model-states-explored 2118008 1523
build-model-states-explored 2119530 1522
build-model-states-explored 2121054 1524
build-model-states-explored 2122583 1529
build-model-states-explored 2124107 1524
build-model-states-explored 2125636 1529
build-model-states-explored 2127163 1527
build-model-states-explored 2128691 1528
build-model-states-explored 2130217 1526
build-model-states-explored 2131743 1526
build-model-states-explored 2133271 1528
build-model-states-explored 2134795 1524
build-model-states-explored 2136319 1524
build-model-states-explored 2137815 1496
build-model-states-explored 2139341 1526
build-model-states-explored 2140862 1521
build-model-states-explored 2142383 1521
build-model-states-explored 2143911 1528
build-model-states-explored 2145435 1524
build-model-states-explored 2146958 1523
build-model-states-explored 2148483 1525
build-model-states-explored 2150004 1521
build-model-states-explored 2151531 1527
build-model-states-explored 2153054 1523
build-model-states-explored 2154577 1523
build-model-states-explored 2156096 1519
build-model-states-explored 2157624 1528
build-model-states-explored 2159145 1521
build-model-states-explored 2160672 1527
build-model-states-explored 2162195 1523
build-model-states-explored 2163723 1528
build-model-states-explored 2165250 1527
build-model-states-explored 2166773 1523
build-model-states-explored 2168296 1523
build-model-states-explored 2169820 1524
build-model-states-explored 2171349 1529
build-model-states-explored 2172872 1523
build-model-states-explored 2174399 1527
build-model-states-explored 2175922 1523
build-model-states-explored 2177449 1527
build-model-states-explored 2178974 1525
build-model-states-explored 2180503 1529
build-model-states-explored 2182027 1524
build-model-states-explored 2183501 1474
build-model-states-explored 2184960 1459
build-model-states-explored 2186432 1472
build-model-states-explored 2187952 1520
build-model-states-explored 2189472 1520
build-model-states-explored 2190975 1503
build-model-states-explored 2192496 1521
build-model-states-explored 2194018 1522
build-model-states-explored 2195543 1525
build-model-states-explored 2197067 1524
build-model-states-explored 2198591 1524
build-model-states-explored 2200118 1527
build-model-states-explored 2201642 1524
build-model-states-explored 2203170 1528
build-model-states-explored 2204698 1528
build-model-states-explored 2206223 1525
build-model-states-explored 2207750 1527
build-model-states-explored 2209278 1528
build-model-states-explored 2210803 1525
build-model-states-explored 2212322 1519
build-model-states-explored 2213842 1520
build-model-states-explored 2215363 1521
build-model-states-explored 2216882 1519
build-model-states-explored 2218400 1518
build-model-states-explored 2219926 1526
build-model-states-explored 2221449 1523
build-model-states-explored 2222972 1523
build-model-states-explored 2224494 1522
build-model-states-explored 2226017 1523
build-model-states-explored 2227537 1520
build-model-states-explored 2229056 1519
build-model-states-explored 2230580 1524
build-model-states-explored 2232096 1516
build-model-states-explored 2233619 1523
build-model-states-explored 2235144 1525
build-model-states-explored 2236670 1526
build-model-states-explored 2238194 1524
build-model-states-explored 2239723 1529
build-model-states-explored 2241248 1525
build-model-states-explored 2242774 1526
build-model-states-explored 2244300 1526
build-model-states-explored 2245822 1522
build-model-states-explored 2247344 1522
build-model-states-explored 2248864 1520
build-model-states-explored 2250389 1525
build-model-states-explored 2251917 1528
build-model-states-explored 2253439 1522
build-model-states-explored 2254965 1526
build-model-states-explored 2256482 1517
build-model-states-explored 2257959 1477
build-model-states-explored 2259463 1504
build-model-states-explored 2260966 1503
build-model-states-explored 2262466 1500
build-model-states-explored 2263969 1503
build-model-states-explored 2265468 1499
build-model-states-explored 2266967 1499
build-model-states-explored 2268472 1505
build-model-states-explored 2269975 1503
build-model-states-explored 2271477 1502
build-model-states-explored 2272976 1499
build-model-states-explored 2274422 1446
build-model-states-explored 2275856 1434
build-model-states-explored 2277309 1453
build-model-states-explored 2278807 1498
build-model-states-explored 2280311 1504
build-model-states-explored 2281815 1504
build-model-states-explored 2283314 1499
build-model-states-explored 2284812 1498
build-model-states-explored 2286317 1505
build-model-states-explored 2287815 1498
build-model-states-explored 2289315 1500
build-model-states-explored 2290812 1497
build-model-states-explored 2292309 1497
build-model-states-explored 2293807 1498
build-model-states-explored 2295308 1501
build-model-states-explored 2296811 1503
build-model-states-explored 2298314 1503
build-model-states-explored 2299811 1497
build-model-states-explored 2301312 1501
build-model-states-explored 2302815 1503
build-model-states-explored 2304315 1500
build-model-states-explored 2305818 1503
build-model-states-explored 2307320 1502
build-model-states-explored 2308823 1503
build-model-states-explored 2310322 1499
build-model-states-explored 2311822 1500
build-model-states-explored 2313319 1497
build-model-states-explored 2314821 1502
build-model-states-explored 2316326 1505
build-model-states-explored 2317835 1509
build-model-states-explored 2319302 1467
build-model-states-explored 2320804 1502
build-model-states-explored 2322304 1500
build-model-states-explored 2323808 1504
build-model-states-explored 2325314 1506
build-model-states-explored 2326813 1499
build-model-states-explored 2328312 1499
build-model-states-explored 2329812 1500
build-model-states-explored 2331314 1502
build-model-states-explored 2332813 1499
build-model-states-explored 2334314 1501
build-model-states-explored 2335816 1502
build-model-states-explored 2337315 1499
build-model-states-explored 2338811 1496
build-model-states-explored 2340315 1504
build-model-states-explored 2341820 1505
build-model-states-explored 2343322 1502
build-model-states-explored 2344828 1506
build-model-states-explored 2346336 1508
build-model-states-explored 2347843 1507
build-model-states-explored 2349342 1499
build-model-states-explored 2350842 1500
build-model-states-explored 2352350 1508
build-model-states-explored 2353855 1505
build-model-states-explored 2355355 1500
build-model-states-explored 2356856 1501
build-model-states-explored 2358363 1507
build-model-states-explored 2359863 1500
build-model-states-explored 2361366 1503
build-model-states-explored 2362868 1502
build-model-states-explored 2364336 1468
build-model-states-explored 2365838 1502
build-model-states-explored 2367341 1503
build-model-states-explored 2368843 1502
build-model-states-explored 2370344 1501
build-model-states-explored 2371843 1499
build-model-states-explored 2373348 1505
build-model-states-explored 2374850 1502
build-model-states-explored 2376356 1506
build-model-states-explored 2377856 1500
build-model-states-explored 2379349 1493
build-model-states-explored 2380849 1500
build-model-states-explored 2382347 1498
build-model-states-explored 2383852 1505
build-model-states-explored 2385353 1501
build-model-states-explored 2386852 1499
build-model-states-explored 2388350 1498
build-model-states-explored 2389857 1507
build-model-states-explored 2391363 1506
build-model-states-explored 2392866 1503
build-model-states-explored 2394368 1502
build-model-states-explored 2395874 1506
build-model-states-explored 2397380 1506
build-model-states-explored 2398882 1502
build-model-states-explored 2400386 1504
build-model-states-explored 2401896 1510
build-model-states-explored 2403398 1502
build-model-states-explored 2404902 1504
build-model-states-explored 2406404 1502
build-model-states-explored 2407907 1503
build-model-states-explored 2409407 1500
build-model-states-explored 2410909 1502
build-model-states-explored 2412413 1504
build-model-states-explored 2413913 1500
build-model-states-explored 2415418 1505
build-model-states-explored 2416922 1504
build-model-states-explored 2418427 1505
build-model-states-explored 2419928 1501
build-model-states-explored 2421427 1499
build-model-states-explored 2422923 1496
build-model-states-explored 2424420 1497
build-model-states-explored 2425917 1497
build-model-states-explored 2427415 1498
build-model-states-explored 2428912 1497
build-model-states-explored 2430411 1499
build-model-states-explored 2431910 1499
build-model-states-explored 2433411 1501
build-model-states-explored 2434913 1502
build-model-states-explored 2436412 1499
build-model-states-explored 2438157 1745
build-model-states-explored 2439905 1748
build-model-states-explored 2441668 1763
build-model-states-explored 2443414 1746
build-model-states-explored 2445179 1765
build-model-states-explored 2446938 1759
build-model-states-explored 2448648 1710
build-model-states-explored 2450402 1754
build-model-states-explored 2452164 1762
build-model-states-explored 2453933 1769
build-model-states-explored 2455697 1764
build-model-states-explored 2457418 1721
build-model-states-explored 2459179 1761
build-model-states-explored 2460952 1773
build-model-states-explored 2462717 1765
build-model-states-explored 2464485 1768
build-model-states-explored 2466210 1725
build-model-states-explored 2467982 1772
build-model-states-explored 2469755 1773
build-model-states-explored 2471524 1769
build-model-states-explored 2473291 1767
build-model-states-explored 2475049 1758
build-model-states-explored 2476815 1766
build-model-states-explored 2478567 1752
build-model-states-explored 2480321 1754
build-model-states-explored 2482093 1772
build-model-states-explored 2483860 1767
build-model-states-explored 2485635 1775
build-model-states-explored 2487403 1768
build-model-states-explored 2489170 1767
build-model-states-explored 2490941 1771
build-model-states-explored 2492682 1741
build-model-states-explored 2494447 1765
build-model-states-explored 2496211 1764
build-model-states-explored 2497974 1763
build-model-states-explored 2499740 1766
build-model-states-explored 2501497 1757
build-model-states-explored 2503255 1758
build-model-states-explored 2505025 1770
build-model-states-explored 2506792 1767
build-model-states-explored 2508559 1767
build-model-states-explored 2510313 1754
build-model-states-explored 2512080 1767
build-model-states-explored 2513843 1763
build-model-states-explored 2515606 1763
build-model-states-explored 2517365 1759
build-model-states-explored 2519121 1756
build-model-states-explored 2520886 1765
build-model-states-explored 2522651 1765
build-model-states-explored 2524410 1759
build-model-states-explored 2526172 1762
build-model-states-explored 2527932 1760
build-model-states-explored 2529692 1760
build-model-states-explored 2531449 1757
build-model-states-explored 2533213 1764
build-model-states-explored 2534978 1765
build-model-states-explored 2536745 1767
build-model-states-explored 2538514 1769
build-model-states-explored 2540268 1754
build-model-states-explored 2541986 1718
build-model-states-explored 2543750 1764
build-model-states-explored 2545505 1755
build-model-states-explored 2547249 1744
build-model-states-explored 2548984 1735
build-model-states-explored 2550723 1739
build-model-states-explored 2552479 1756
build-model-states-explored 2554246 1767
build-model-states-explored 2556014 1768
build-model-states-explored 2557782 1768
build-model-states-explored 2559532 1750
build-model-states-explored 2561295 1763
build-model-states-explored 2562983 1688
build-model-states-explored 2564666 1683
build-model-states-explored 2566403 1737
build-model-states-explored 2568167 1764
build-model-states-explored 2569901 1734
build-model-states-explored 2571656 1755
build-model-states-explored 2573401 1745
build-model-states-explored 2575158 1757
build-model-states-explored 2576920 1762
build-model-states-explored 2578683 1763
build-model-states-explored 2580444 1761
build-model-states-explored 2582207 1763
build-model-states-explored 2583960 1753
build-model-states-explored 2585713 1753
build-model-states-explored 2587476 1763
build-model-states-explored 2589213 1737
build-model-states-explored 2590980 1767
build-model-states-explored 2592742 1762
build-model-states-explored 2594504 1762
build-model-states-explored 2596268 1764
build-model-states-explored 2598029 1761
build-model-states-explored 2599787 1758
build-model-states-explored 2601543 1756
build-model-states-explored 2603305 1762
build-model-states-explored 2605067 1762
build-model-states-explored 2606826 1759
build-model-states-explored 2608592 1766
build-model-states-explored 2610354 1762
build-model-states-explored 2612112 1758
build-model-states-explored 2613878 1766
build-model-states-explored 2615594 1716
build-model-states-explored 2617358 1764
build-model-states-explored 2619123 1765
build-model-states-explored 2620883 1760
build-model-states-explored 2622632 1749
build-model-states-explored 2624378 1746
build-model-states-explored 2626133 1755
build-model-states-explored 2627882 1749
build-model-states-explored 2629639 1757
build-model-states-explored 2631403 1764
build-model-states-explored 2633175 1772
build-model-states-explored 2634926 1751
build-model-states-explored 2636689 1763
build-model-states-explored 2638456 1767
build-model-states-explored 2640205 1749
build-model-states-explored 2641961 1756
build-model-states-explored 2643719 1758
build-model-states-explored 2645481 1762
build-model-states-explored 2647237 1756
build-model-states-explored 2649006 1769
build-model-states-explored 2650776 1770
build-model-states-explored 2652541 1765
build-model-states-explored 2654301 1760
build-model-states-explored 2656066 1765
build-model-states-explored 2657826 1760
build-model-states-explored 2659599 1773
build-model-states-explored 2661361 1762
build-model-states-explored 2663119 1758
build-model-states-explored 2664889 1770
build-model-states-explored 2666417 1528
build-model-states-explored 2667886 1469
build-model-states-explored 2669390 1504
build-model-states-explored 2670894 1504
build-model-states-explored 2672395 1501
build-model-states-explored 2673894 1499
build-model-states-explored 2675396 1502
build-model-states-explored 2676898 1502
build-model-states-explored 2678399 1501
build-model-states-explored 2679898 1499
build-model-states-explored 2681400 1502
build-model-states-explored 2682901 1501
build-model-states-explored 2684406 1505
build-model-states-explored 2685896 1490
build-model-states-explored 2687398 1502
build-model-states-explored 2688895 1497
build-model-states-explored 2690392 1497
build-model-states-explored 2691894 1502
build-model-states-explored 2693389 1495
build-model-states-explored 2694892 1503
build-model-states-explored 2696396 1504
build-model-states-explored 2697900 1504
build-model-states-explored 2699403 1503
build-model-states-explored 2700914 1511
build-model-states-explored 2702419 1505
build-model-states-explored 2703919 1500
build-model-states-explored 2705423 1504
build-model-states-explored 2706927 1504
build-model-states-explored 2708432 1505
build-model-states-explored 2709932 1500
build-model-states-explored 2711438 1506
build-model-states-explored 2712926 1488
build-model-states-explored 2714428 1502
build-model-states-explored 2715933 1505
build-model-states-explored 2717435 1502
build-model-states-explored 2718943 1508
build-model-states-explored 2720441 1498
build-model-states-explored 2721937 1496
build-model-states-explored 2723439 1502
build-model-states-explored 2724935 1496
build-model-states-explored 2726434 1499
build-model-states-explored 2727939 1505
build-model-states-explored 2729447 1508
build-model-states-explored 2730947 1500
build-model-states-explored 2732451 1504
build-model-states-explored 2733953 1502
build-model-states-explored 2735458 1505
build-model-states-explored 2736962 1504
build-model-states-explored 2738466 1504
build-model-states-explored 2739971 1505
build-model-states-explored 2741474 1503
build-model-states-explored 2742987 1513
build-model-states-explored 2744491 1504
build-model-states-explored 2745997 1506
build-model-states-explored 2747501 1504
build-model-states-explored 2749002 1501
build-model-states-explored 2750504 1502
build-model-states-explored 2752008 1504
build-model-states-explored 2753508 1500
build-model-states-explored 2755009 1501
build-model-states-explored 2756518 1509
build-model-states-explored 2758004 1486
build-model-states-explored 2759479 1475
build-model-states-explored 2760980 1501
build-model-states-explored 2762487 1507
build-model-states-explored 2763988 1501
build-model-states-explored 2765489 1501
build-model-states-explored 2766997 1508
build-model-states-explored 2768503 1506
build-model-states-explored 2770005 1502
build-model-states-explored 2771504 1499
build-model-states-explored 2772996 1492
build-model-states-explored 2774494 1498
build-model-states-explored 2775995 1501
build-model-states-explored 2777496 1501
build-model-states-explored 2779001 1505
build-model-states-explored 2780507 1506
build-model-states-explored 2782009 1502
build-model-states-explored 2783517 1508
build-model-states-explored 2785022 1505
build-model-states-explored 2786522 1500
build-model-states-explored 2788018 1496
build-model-states-explored 2789518 1500
build-model-states-explored 2791017 1499
build-model-states-explored 2792520 1503
build-model-states-explored 2794020 1500
build-model-states-explored 2795522 1502
build-model-states-explored 2797022 1500
build-model-states-explored 2798524 1502
build-model-states-explored 2800028 1504
build-model-states-explored 2801534 1506
build-model-states-explored 2803016 1482
build-model-states-explored 2804522 1506
build-model-states-explored 2806031 1509
build-model-states-explored 2807533 1502
build-model-states-explored 2809033 1500
build-model-states-explored 2810539 1506
build-model-states-explored 2812040 1501
build-model-states-explored 2813536 1496
build-model-states-explored 2815038 1502
build-model-states-explored 2816546 1508
build-model-states-explored 2818050 1504
build-model-states-explored 2819551 1501


----------
Computation aborted after 1800.0447626113892 seconds since the total time limit of 1800 seconds was exceeded.